81. Automated reasoning with analytic tableaux and related methods : Internaitonal Conference, TABLEAUX'97
پدیدآورنده : Didier Galmiche )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1227
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
82. Bioinformatics
پدیدآورنده : / edited by Bertil Schmidt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Bioinformatics--Data processing,Parallel processing (Electronic computers)
رده :
QH324
.
2
.
B5487
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
83. Bioinformatics :high performance parallel computer architectures
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Data processing ، Bioinformatics,، Parallel processing )Electronic computers(
رده :
QH
324
.
2
.
B5487
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
84. CONCUR 2002 – Concurrency Theory
پدیدآورنده : \ [Edited by] Luboš Brim ... [et al.]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,پردازش موازی -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)
85. CONCUR'98 : Concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
پدیدآورنده : Davide Sangiorgi, Robert de Simone )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1466
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
86. CONCUR'96 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
پدیدآورنده : Ugo Montanari, Vladimirio Sassone )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1119
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
87. CONCUR'97 : Concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings
پدیدآورنده : Antoni Mazurkiewicz, Jozef Winkowski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1243
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
88. CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(--Congresses
رده :
QA
76
.
58
.
I53
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
89. CONCUR'92 : Third International Conference on Concurrency Theory , 1992: proceedings
پدیدآورنده : W.R. Cleaveland, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
630
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
90. CONCUR 2002-concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings
پدیدآورنده : Lubos Brim...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2421
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
91. CONCUR 2005 -- concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings
پدیدآورنده : Martin Abadi, Luca de Alfaro )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer multitasking
رده :
QA
76
.
L28
Vol
.
3653
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
92. CONCUR'99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
پدیدآورنده : Jos C.M. Baeten, Sjouke Mauw )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer multitasking
رده :
QA
76
.
L28
Vol
.
1664
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
93. CONCUR 2004--concurrency theory : 15th International Conference, London, UK, August 31 - September 3, 2004 : proceedings
پدیدآورنده : Philippa Gardner, Nobuko Yoshida )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer multitasking
رده :
QA
76
.
L28
Vol
.
3170
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
94. CONCUR 2000 : concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings
پدیدآورنده : Catuscia Palamidessi )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1877
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
95. CONCUR'94 : concurrency theory : 5th International Conference Uppsala, Sweden, August 22 - 25, 1994 : proceedings
پدیدآورنده : Bengt Jonsson, Joachim Parrow )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
836
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
96. CONCUR 2001- concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings
پدیدآورنده : Kim G. Larsen, Mogens Nielsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer multitasking
رده :
QA
76
.
L28
Vol
.
2154
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
97. CONCUR 2001, concurrency theory: 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Multitasking )Computer science(
رده :
QA
76
.
58
.
I53
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
98. CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
پدیدآورنده : Roberto Amadio, Denis Lugiez )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer multitasking
رده :
QA
76
.
L28
Vol
.
2761
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
99. CONCUR'91 : 2nd International on Concurrency Theory, Amsterdam, Netherlands, 1991 : Proceedings
پدیدآورنده : J. C. M. Baeten, J. F. Groote )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
527
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
100. CONCUR '93 : 4th International Confernece on Concurrency Theory, Hildesheim, Germany, August 993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(-- Congresses
رده :
QA
76
.
58
.
I53
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)